Kan, Shuanglong: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Detecting safety-related components in statecharts through traceability and model slicing

Kan, Shuanglong, Huang, Zhiqiu

Journal:

Software: Practice and Experience

Year:

2017

Language:

english

File:

PDF, 1.57 MB

english, 2017

2

[IEEE 2020 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2020.5.18-2020.5.21)] 2020 IEEE Symposium on Security and Privacy (SP) - Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

Jiao, Jiao, Kan, Shuanglong, Lin, Shang-Wei, Sanan, David, Liu, Yang, Sun, Jun

Year:

2020

File:

PDF, 517 KB

2020

3

Specification and verification of a topology-aware access control model for cyber-physical space

Cao, Yan, Huang, Zhiqiu, Kan, Shuanglong, Fan, Dajuan, Yang, Yang

Journal:

Tsinghua Science and Technology

Year:

2019

File:

PDF, 59 KB

2019

4

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - A refinement-based compiler development for synchronous languages

Bodeveix, Jean-Paul, Filali-Amine, Mamoun, Kan, Shuanglong

Year:

2017

Language:

english

File:

PDF, 774 KB

english, 2017

5

A Better Translation From LTL to Transition-Based Generalized Büchi Automata

Li, Weiwei, Kan, Shuanglong, Huang, Zhiqiu

Journal:

Year:

2017

Language:

english

File:

PDF, 2.24 MB

english, 2017

6

Specification and verification of a topology-aware access control model for cyber-physical space

Cao, Yan, Huang, Zhiqiu, Kan, Shuanglong, Fan, Dajuan, Yang, Yang

Journal:

Tsinghua Science and Technology

Year:

2019

Language:

english

File:

PDF, 59 KB

english, 2019

7

Partial order reduction for checking LTL formulae with the next-time operator

Kan, Shuanglong, Huang, Zhiqiu, Chen, Zhe, Li, Weiwei, Huang, Yutao

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 793 KB

english, 2016

8

[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - Detecting memory errors at runtime with source-level instrumentation

Chen, Zhe, Yan, Junqi, Kan, Shuanglong, Qian, Ju, Xue, Jingling

Year:

2019

File:

PDF, 958 KB

2019

9

Partial Order Reduction for the full Class of State/Event Linear Temporal Logic

Kan, Shuanglong, Huang, Zhiqiu

Journal:

The Computer Journal

Year:

2017

Language:

english

File:

PDF, 1000 KB

english, 2017

10

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Traceability and model checking to support safety requirement verification

Kan, Shuanglong

Year:

2014

Language:

english

File:

PDF, 132 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски